『The Formal Semantics of Programming Languages』
https://gyazo.com/2a1b84c97b0bab9099c511577463b607
https://www.amazon.co.jp/dp/0262731037
Winskel
は
表示的意味論
を学ぶのにおすすめです
ref